Corso Di Logica 17 - Regole Nella Logica Dei Predicati